Fix get-size.py.