Fix configure problem