echo "Nothing to configure, run make"