/*------------------------------------------------------------------*\
   fix to reload the menu, when menufile is changed 
\*------------------------------------------------------------------*/

  problem was, that the menufile itself wasnt triggerd by the
  timestamp-handler, all files [include]d are handled by the 
  handler. pretty short