Shortening platform names - hostmaster has problem with long names.