Fixing travis-ci support