Fix build error--no configure file