Travis-CI: fix macOS build #44

Closed tschoonj closed 4 years ago