Travis: braino fix