Use --enable-infinality flag
Remove now unused files