Formatting fixes, update binaries