Get rid of unneeded double string-int conversions

(cherry picked from commit 7f2a68c5d568cc81028e30909110a29b811544b3)

Conflicts:
	include/VirtualMachine.h
	src/rm/RequestManagerVirtualMachine.cc
	src/tm/TransferManager.cc