Fix configure option