remove 2 files forgotten in the renaming commit
various commits