fixed bug in releases.php not catching duplicates properly