workaround problem with travis-ci