Exit nicely when the compilation failed in Zinc
Merge pull request #1295 from nremond/zinc_error

Exit nicely when the compilation failed in Zinc