patch for muparser