fix double precision build