Ahh, see you did something you didn't mention!!! To get make to re-do stuff after a config change you need to make clean; make install

—
Reply to this email directly or view it on GitHub.