`make install` fails to install precompiled native compute files

[JasonGross]

When building LAProof on top of vcfloat with native compute enabled, I see

File "accuracy_proofs/.coq-native/NLAProof_accuracy_proofs_common.native", line 14, characters 65-108:
14 |                                                                 (Nvcfloat_FPCore.const_Nvcfloat_FPCore_fprec
                                                                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: Unbound module Nvcfloat_FPCore

It would be nice if vcfloat supported precompiled native_compute files