[bugfix] [buildsystem] Remove old header name

During development, the header was renamed and somehow the old
name reappeared when merging master.