Python version as Travis-CI string, not number, seems to break the build otherwise