fixed travis build: the git tag must contain a version number of the form <major>.<minor>.<patch>.