Fixed a bug in crcc.py