Revert "Remove unused file."

Turns out it is used after all.

This reverts commit ad0aae792646316c8401c3b78d354320ed644bc1.