Fix Jenkins glitch with .idb deletion.