try to fix #4255 (hex editor magic)