Fix configuration of MyProxy server

Required for MyProxy server configuration to work.

Can wait 14.10... as it is probably too late for 14.8.