Fix broken ./configure --without-gui (again)