converted from OS/x to Ubuntu 12.x