probhat_on_macos_leopard