};
/// Do some work just once.
-void init(int argc, char * argv[]);
+void init(int argc, char ** argv[]);
/// Returns the i-th program argument in utf8 encoding.
std::string utf8_argv(int i);
int timeout_min();
/// Name of the python interpreter
-std::string const python();
+/// @param reset True if the python path should be recomputed
+std::string const python(bool reset = false);
///
bool isFilesystemCaseSensitive();
*/
std::string latex_path_list(std::string const & p);
-/// Checks if the format string is suitable on the OS
-bool is_valid_strftime(std::string const & p);
-
/** Returns a string suitable to be passed to popen when
* reading a file.
*/