On Mon, Apr 29, 2013 at 10:31 PM, Mattias Gaertner <nc-gaertnma at netcologne.de> wrote: > I see. > I will update the Makefiles. Ok, "make clean bigide" indeed fails. I forgot it does not use the package dependencies directly. Juha