fix wrong names for extracted include files