Zero-sized arrays are not captured

[stijnh]

For arrays of size zero, kernel launcher should create an empty file. However, currently no file at all is create