Some tiny tools for MacOS