Use {$MYVIMRC}.paved as the default output filename.