Fourth attempt to make Travis-CI work...