(Minor) Housekeeping: removing old files no longer used