Embug: Change file names