Hi newbie to Player here. I have been happily using Player in mac but I'm working in Ubuntu 16.04 now and there is no download available...but I heard you can build and launch Player from Terminal in Ubuntu. Any advice on this?