difference between __builtins__ and __builtin__ (based on an email comment)
(backported from trunk revision 1.9)