Use dev_t for device id (st_dev) from stat in setup_git_directory_gently()