Installing a cigarette butt receptacle