After a change to the c_code, the version number in c_code_cache_version has to be updated (see line 598).