Fix builtins implementation problem, now uses __builtin__ instead of __builtins__ (cf https://docs.python.org/2/library/__builtin__.html and http://stackoverflow.com/questions/1184016/why-builtins-is-both-module-and-dict)