changed WebCUDA interface slightly