fix make install for flintxx