quick fix for configure failure for thunderbird-31.3.0