added Ubuntu 14.04 support