Make script work on Ubuntu 14.04.