Custom configuration in sketchbook folder -- how to use default arduino core?