Point to precise versions for 0.13