Update ubuntu 12.04 image

This is a fix to close #102