Moved to capital letters for flags for consistency with HsBencher