fix configure problem in Linux;