Travis: actually do debug builds