Read 'builtins' from the configuration file; issue #1