Second attempt to make Travis-CI work...