Add missing GMP dependency for Travis