remove flint submodule and modify appropriate scripts to get things
compiling