Added support for Ubuntu 13.04 32 bit