[BENTO-18] added ubuntu 12.10