Fix Travis build on macOS (#731)

2 files changed