Explicitly pass Gonfalon in tests to try and make TravisCI happy