Verified compiling on 12.04 LTS