Removed the binary kernel. oops.