fix configuration for travis-ci