fix configuration for TravisCI