revert accidental file deletion

This partially reverts commit 81213e686e3855c0728f2f5ca286b90b04189adf.