V77: crashes when using the header editor; upgrade to v78

Version 77 contains nasty bugs that cause the header editor to crash each time the user modifies any of the “segment info” settings. This bug has been fixed already; see the corresponding issue.

Please upgrade to v78 which was released on 2023-07-02 & fixes the issues.