testing another setting for travis-ci