Revert "remove unnecessary configure_file()"

Authored by sandsmark on Jun 8 2020, 3:12 PM.