Adds a/ b/ to make patches work
Add patch to size.c to fix printf type mismatch