changed the format of the configure option.