Update compile_casts.py