I'm not sure I understand what you want. This file was needed in order to have the `DESTDIR` environment variable when calling `make install`.

To the best of my knowledge, `externalproject_add` does not allow specifying environment variables for commands, which is why I had to resort to a shell script.