-O2 -pipe -DVCSID=\"a0b9e777e2c571546bd6ab55356acb023834cbc3\" -DNDEBUG
