fixing travis and ++version semantic