fix .so name
get MY_FLINT_IS_HERE to actually work