#!/bin/sh @UTAHTOPNM@ "$1" > "$2"