#!/bin/sh
mv configure configure.no-verify
sed 's/--no-verify//' configure.no-verify > configure
chmod 755 configure