vm: don't use "grep -P", as it breaks horribly on non-utf8 input