Replaced execution pointer icon by SVG equivalent