gnubert/katz — pull request #2 by gnubert (2014-11-29 11:21:15+00:00)
Title: fix gcc invocation for ubuntu 12.04

Closes #1