removed tomb repository; we will install tomb from deb package