Fix #20: Incorrect generation of relative file names