Added support for Linux Mint 15 and Ubuntu 13.04 to the Linux build script.