fixing a bug caused in Ubuntu 13.10