Use vm headers instead of standard library headers