xv65: c runtime: execvp, fstat