Fix build break in profile.py.