Remove Ubuntu 12.04 nodes from config files (#525)

This fixes issue #525. @andreeamatei can you please check?