#!/bin/bash
set -x
make clean-rottened
./rottener.opt -r library/