based on ubuntu 3.12.1 config for 32 bits