OMakefile tweak