Fix some binaries for extlib