Fix missing export in .profile of cloud-benchmarking-server