Fix Linux build script for Ubuntu 14.10