tools/profile.py doesn't work for 1.8.2 ? (Exception: No stats recorded, perhaps binary returns -1?) I just upgraded from 1.7.4 to 1.8.2, and it worked for 1.7.4 before.