fix configure (flint detection)