fix @<*{...}@> bug when filenames have special characters