r5048: made the provision.pl script much less error prone (you don't need to