Even if it isn't the DRM, it still is. Because the player could be open and someone could fix the bug if it weren't for the DRM.