Fix URL for vmchecker repo