s3: re-run make full_idl.