I wonder if they are compiling with debugging symbols? I don't know how much this would change things in vanilla C but that would be my first guess