Travis: oops. Old gawk does not support arrays of arrays. Use gawk 4.x from PPA