-/// FIXME: same here
-void abort();
-
-/// (securely) create a temporary file in the given dir with the given mask
-/// \p mask must be in filesystem encoding
-FileName const tempName(FileName const & dir = FileName(),
- std::string const & mask = std::string());
-