Change how platform is printed by skel.GENtoEVGEN.py to print platform correctly when running in container