Use precise64 from Ubuntu