Clean up some leftover stuff from the binary extension.