Running in python, segfault