squashme: if it reaches the default case, it's a bad/unknown opcode

also a small cosmetic after a file rename