Compile with GNU extensions
Call ctypesgen.py with Python interpreter, since it's not executable