Hopefully fixed travis-ci versioning...