Fix CASSERT macro (fixes #223)