fix with ubuntu 14.10