Support files for building the SEAM VM