build: Complete rename of header file

Fallout from commit d5552cc372405d0.
build: Fix merge fallout

Commit 3ba8532bdce18 accidentally added a no-longer-existent file
back to DiSTFILES.