fix gmp ccache breakage again (previous fix was removed in a cleanup)