Cleanup bucketsky.cc