replace makefiles with version based on the improved flint makefiles
configure fix
fix make install include path