[PD-dev] [ pure-data-Feature Requests-1420215 ] change the name of the header-file