fixed linux platform name in myconfig