fixing libopencm3 checkedout version