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