We haven't been keeping it in sync, so just remove it.
Signed-off-by: NRusty Russell <rusty@rustcorp.com.au>