A modified version of this file may be distributed, but it should be distributed with a \*different\* name. Changed files must be distributed \*together with a complete and unchanged\* distribution of these files.