Revert: We do not need this file so really delete it. "delete"

This reverts commit 571daf1e1b519da2339e7c1c6fdeb5d40f7a1a5e.