Trying a slightly different std option for the compiler, might or might not work...