echo "***************************************************"
echo "The following headers/libraries are missing: " ${MISSINGLIBS}
echo "Disabling pdf2swf tool..."
echo "***************************************************"
echo "The following headers/libraries are missing: " ${MISSINGLIBS}
echo "Disabling pdf2swf tool..."