fixed osdeps for Ubuntu 14.10