+ // a safe check to avoid people running broken code
+ // (otherwise, they run it, don't crash it, wait 20 years and blame us for not maintaining this hard enough)
+ // make something idiot proof and someone will make better idiots, this may be overkill
+ // let's leave it disabled in any case
+ /// \todo actually remove this and check if the functions called from here
+ /// are used elsewhere; if not, remove them.
+ return true;
+/* // a safe check to avoid people running broken installations