Changed get_int_option for release token