Work-around for GCC zero initializer bug