The file /verification/vermix/code/CPP_OPTIONS.h does not exist.