diff --git a/src/block_allocator.c b/src/block_allocator.c
index 486a72c2410cf38586c73e8762da84693bc41b6b..4a6e812153c43e0f30c0831ed8b8a21fe1ec1a7c 100644
--- a/src/block_allocator.c
+++ b/src/block_allocator.c
@@ -435,7 +435,7 @@ static size_t bv_ctz(struct bitvector * bv, size_t n) {
 }
 
 #ifdef PIKE_DEBUG
-static void __attribute((unused)) bv_print(struct bitvector * bv) {
+static void ATTRIBUTE((unused)) bv_print(struct bitvector * bv) {
     size_t i;
     for (i = 0; i < bv->length; i++) {
 	fprintf(stderr, "%d", bv_get(bv, i));