fix Travis CI compilation