small hack for Ubuntu 14.04