Temporarily switched to Ubuntu 12.04 (precise) as target platform