Fixed up PHP 5.6 build script for Ubuntu 14.04.