Let Probe compile again