ugly hack to get builtins to work