update to cudaMiner version 2013-07-13