eigen: patch for reflex (add definition of placement-new)