Remove accidentally added header; this one is created at configure time