Fixed compilation issues with Travis CI