Thanks, it is now indeed fixed.
(The first one was generated by the Gentoo Linux ebuild system which uses parallel build, make -j5. The newer one was manual with just make :-)
Thanks, it is now indeed fixed.
(The first one was generated by the Gentoo Linux ebuild system which uses parallel build, make -j5. The newer one was manual with just make :-)