wrong hardcoded line for 32 bit python