-O2 -pipe -DVCSID=\"85b2dc729337af3d9fdfccbdd15f6b20b9597cc6\" -DNDEBUG
