BIN: updated linux binaries