correct json_concat in case of empty file (fixes #4273)