make diamondd compilable under last MacOS X (Maverick)