reset just the format optimizer due to different behavior on the travis server