Just connect the Prophet to your computer via MIDI USB cable, in Globals make sure you have MIDI SysEx set to USB, press Globals twice to come out of it again, then load the firmware file into the SysEx Librarian, set its Destination to Prophet from the dropdown menu, and making sure you have the 1.5.2 file selected press Play, and follow the rest of the instructions in the moderators post.