Fixed a few forgotten binaries