on linux, make sure mount.c ignores a couple of mountpoints that are supposed to be handled by the *dev module
on linux, make sure mount.c ignores a couple of mountpoints that are supposed to be handled by the *dev module

eINIT/core,eINIT/core,eINIT/core