Fix a broken build in Travis