Fix path of emulator in Patmos repository.