Note that these instructions are for x86-32 linux