osx fix for protodef