Modifying .i files to have correct names for C types they send to JavaScript