automatically load core.top in the toplevel