where are the default virtualbox (the downloadable image from nixos.org) configs stored? No documentation for this anywhere