[Bugfix] some git bug slipped in while changing the commit message of the rename commit. Here are the deleted/renamed files again