nra_ode.mk: filter-out *.preprocessed.drh