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