int3/doppio — pull request #68 by jvilk (2012-11-12 16:09:04+00:00)
Title: Fix benchmark and release mode

Fixes #67.