sym-files and sym-args can be given in a user-friendly way

and string.format here too