Memory leak (from gmp?) when loading foreign file. #1141