added org.ibex.util.FileNameEncoder: safely escapes filenames