useful-functions.hh now included locally