added winstone library for the winstone plugin