Removed "orig" files, which had been committed by mistake