[LyX master] configure.py: fix major part of bug #8477

The branch, master, has been updated. - Log - commit ec8ae50f54013892f68c663703558ebe862e6445 Author: Uwe Stöhr uwesto...@lyx.org Date: Mon Dec 31 18:37:45 2012 +0100 configure.py: fix major part of bug #8477

[LyX master] configure.py: fix major part of bug #8477

The branch, master, has been updated. - Log - commit ec8ae50f54013892f68c663703558ebe862e6445 Author: Uwe Stöhr Date: Mon Dec 31 18:37:45 2012 +0100 configure.py: fix major part of bug #8477