fix testing machinery (missing file)