Fixes to ensure that glitch files have the right names.