namecoind 0.3.75 for Mac OS 10.9.x (Mavericks). How do we handle that files/ directory? Manually, I suppose?