Fix build step in travis-ci config