Fix rename_p4_binaries.sh