On Wed, 29 Jul 2020 09:23:48 -0000, Paul wrote: >BTW, your steps 4 and 5 can be combined. That is, you can pass >configure options to autogen.sh (because it runs configure). Thank you for the hint.