Fix Travis CI compilation issue