Travis: proper exit code