Try to make Travis happy with tmp