fixing for ubuntu 12.10