Keep core extensions in separate file(s)