Revert "rm extra"

This reverts commit 227f04c78e634017852a00f54a141d13aeffc3e6.