Make default transformations for Gecode memory conservative
Fix bug when output file is specified