Adjust to newer ObjFW versions