Added script for Ubuntu 12.04 x64: