add short option switch for syscalls-file