boost(<1.47) has no has_equal_to operator