2013-05-15: fix filesystem.sh