**** BEGIN LOGGING AT Wed Mar 21 03:00:03 2018 Mar 21 08:48:10 mirko: thats the only thing I like about autotools; you can usually fix things by deleting most of it **** ENDING LOGGING AT Thu Mar 22 03:00:02 2018