move mutex files under src/lib