Some basic changes needed for 0.40.19, and delete all old symbols