Travis can't cope with tmp files in /tmp... Oh well, at least this lets other people set their tmp dir if they so choose.