configure: yet another fix after previous two commits...