Update check-gmp.sh

Added support for Ubuntu