Use 64bit ubuntu instead

This fixes issue #2