travis: as a test, try turning off the nogui option for play test