#!/bin/sh prefix=/usr exec_prefix=/usr exec_prefix_set=no usage() { cat <