Comment 128 for bug 1493888

@Mikael Thurberg
No problem, man. Also, Just to add, if you encounter some dependency errors, install these:

sudo apt-get install lib32gcc1 libc6-i386 gcc-4.9 gcc-4.9 gcc-4.9-base libasan1 libcloog-isl4 libgcc-4.9-dev

sudo apt-get install dkms