make travis ci work nicely