Make SoundFrontEnd.destroy() public again