How to deal with precise64.box not found