Delete android2raspberry.synctex.gz