only write file name (excluding path) into source file tag, otherwise some operations like writing the class out again using Jasmin fail