remove unnecessary configure_file()

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