Revert "Remove some unused files"

OOOOOOPS not yet

This reverts commit 82391e3bec147294c74293a8517d154ca2385897.