removed some incompatibilities with ubuntu 13.10