echo 'configure is no longer used - just type "make"'
echo ''
echo 'If this does not work, read BOOTSTRAP'
