added execve and -lmcheck