#!/bin/bash

set -xe

if [ -f x709 ]; then
	cp -f x709 /usr/local/bin/x709
fi

exit