removed accidentally added trogdor executable (oops)