travis: remove needless micro version