#!/bin/sh

make distclean
make -f Makefile.dist
./configure
make

