sieben/instant_contiki — pull request #1 by eightyeight (2014-08-31 09:56:36+00:00)
Title: Use precise64 from Ubuntu

So I'm not sure why you chose to go the way you did, but IMO using the box from `ubuntu` themselves seems cleaner and more immediately identifiable.