Switch to new JSON based IDL format