if [ "x$GEXTAMP" = "x" ] ; then
  echo "Apache-MySql-Php extension environment variable GEXTAMP not set."
  echo "Have you sourced the extension's setup file, e.g. setup.bash?"
  exit -1
fi