Ignore configure exit
Merge branch 'debian' into debian-wheezy-backports