compatibility with GHC 7.4
GUI: added player names