Attempt to fix mktemp for Travis-CI