Fix some configure problems