fix Travis CI build failure: #41