Copied these global vars from main.cpp to fix compilation error