On microlocalization and the construction of Feynman propagators for normally hyperbolic operators