We do not need a special script for Ubuntu 14.04 any more.