Attempt to fix broken build in travis-ci