Fix -Wvla