Fix the names of some DSP interpreter files.