PC Tools security portfolio to be discontinued on May 18, 2013