diff --git a/usr.sbin/crunch/examples/really-big.conf b/usr.sbin/crunch/examples/really-big.conf
index 1633c594264..45a10de0cf4 100644
--- a/usr.sbin/crunch/examples/really-big.conf
+++ b/usr.sbin/crunch/examples/really-big.conf
@@ -24,8 +24,8 @@ ln sh -sh
 srcdirs /usr/src/sbin
 
 progs badsect bim clri disklabel dmesg dump dumpfs fdisk fsck halt
-progs ifconfig init mknod modload modunload mount mount_fdescfs mount_isofs
-progs mount_lofs mount_msdosfs mount_portalfs mount_procfs mountd
+progs ifconfig init mknod modload modunload mount mount_isofs
+progs mount_lofs mount_msdosfs mount_portalfs mountd
 progs newfs nfsd nfsiod ping quotacheck reboot restore route routed savecore
 progs shutdown slattach swapon ttyflags tunefs umount
 # shell scripts: fastboot