Bug in trunk configure file