Make Travis-CI happy.