#!/bin/sh
# We don't need ./configure, but we'll put it there so that any system used to
# Debian package making isn't lost :)
exit 0