jeroen Travis: remove legacy MacOS