* Fixed linux.c compilation problem due to (suspected) broken linux
[monky] / extras /
drwxr-xr-x   ..
drwxr-xr-x - nano
drwxr-xr-x - vim