fixed #549: Memory allocation is not safe between fork() and execve()