implement make install for flintxx