Microsemi Maker-Board M2S010-MKR-KIT

I am using windows 8, softconsole 5.3 and libero v11.9 and debug is not crashing for me.
Thanks for the @bkzshabbaz 's suggestion for including the RunTimeStatsTimer.c because it is not mentioned in the wiki page.
My problem is not seeing the serial ports that should to be created by the maker board. I used tera term and putty terminal programs but they cant see any serial port other than flashpro5.
I can see the spinning led on the board, so i assume at least task1 is working fine but i am not able to reach the serial port.
I am also wondering the post under the Cannot debug SmartFusion®2 Maker-Board Digi-key topic is a real problem. I see the same message when i run the debug but i dont think that is an error message.