Re-fix the __builtin__ fix, again^2