Hi Walter, > OK to commit? Yes. > Since I'm the maintainers for these ports can I > commit without approval ahead of time? For TILEPro specific changes like this one: yes. Please do send the patch to the mailing list though, along with an explanation of what is happening, so that other people can follow the port. Cheers Nick