missing modified files for 5.0.12