Fixed the travis-ci compilation error

Reopening the previous pull request.