OPM/opm-benchmarks — pull request #19 by laods (2013-06-21 06:38:33+00:00)
Title: Disable build kluge that is no longer pertinent

Similar to @bska's OPM/opm-core#263.