try to fix travis-ci #2