Fix get_op_set() in Unix environments.