try to fix TravisCI