fix source path for ignore_filesystems.mk