linux 64 version: syscall logging fix