Fixed renaming of eclipse.ini on Windows if no branded binary was
provided