Reuse hashsrc in save_program_binaries()