Fix K64F compiler name in build_release.py