* src-release (do-proto-toplev): Remove dejagnu bits.