added changes such that dfmm runs also under mac os