Fix configuration of MyProxy server

Required for MyProxy server configuration to work.