Fix 'variably modified at file scope'.