Adding tippingbucket as builtin