Would you be able to try going through the installation/setup steps on codebender.cc and try loading https://codebender.cc/sketch:115936 ? Hopefully that will get a serial port to show up at the very least.