[misc] Get rid of piranha.