- Fixed BASSMIDI player to correctly release unused SoundFonts after 10 seconds, which
  it wasn't due to misuse of the standard difftime function
- Version is now 1.231