Hi, David Brown <nix at davidb.org> writes: > Tool requires flex to build. Actually no. :-) I tracked down the problem to non-determinism due to incorrect timestamps on Flex-generated files (they appeared as older than the corresponding ‘.l’ files, thus needed to be rebuilt.) I committed a workaround. Thanks, Ludo’.