Move not used header to extra distribution section of make file.