On Sat, Oct 24, 2015 at 12:24 AM, Sebastian Lackner <sebastian at fds-team.de> wrote: > > Try to run ./configure again, that should fix it. > Yes, thanks. Sorry for the noise.