dummy
During quick porting to Genode/Linux we have no
writeable filesystem, so disable mkdir