add version to make Travis-CI happy