Make travis-ci happy