fix gmp watchfile