Fixed some compilation errors in gcc (caused by missing namespace specifications in bucket_type.h)