#!/bin/bash

make BINARY=64