Do not let travis-ci default to using make.