fixed weird new bug since ubuntu 14.04