Reverting 7d74c9e as travis seems outdated at the moment.