another attempt to fix travis-ci