Try to solve the travis-ci errors (close #7).