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