#!/bin/sh prefix=/vagrant/dist-x86 exec_prefix=${prefix} exec_prefix_set=no usage() { cat <