Revert "Resubmit files"

This reverts commit 32e9041f67dfe1c24b2b94e4acb4317e5619b85c.