Fix compilation error [#63]

Ambigious occurence to `catch'

See the github issue for more information

Change-Id: I3958d578bb7a337f2d5ce7d4be759e723fc57e19
Merge pull request #64 from Tarrasch/master

Fix compilation error [#63]