Add more platforms to setupext.py; patch by Benjamin Drung
Authored by: efiring 2009-10-05
Parent: [r7846]
Child: [r7848]