0.8.7.2; new DNS seed node and corrected hardcoded seeds