Third attempt to make Travis-CI work...