Merge "Add 0BSD support to add3prf.py" into main