modules/firefox-profile/functions/mktmp: fix