Fix RELEASES file generation