Minor cosmetics to automate git upload: removing old files first