Fix GCC compatibility

Without this, GCC complains that "initializer element is not constant".