Fix versioning for travis