Bugfix: Jasmin does not support blanks in the source file tag, so we replace them by dashes