travis: Typing Darwin is really hard.