Removed remaining pluto related configure options.