Update filenames to reflect changes in 05ac094d2e35833401a9dbcf1d59f5e3bb1f5f32