Google pays $40K to 'Pinkie Pie' for partial hack of Chrome OS