Some micro-optimization to the Driver library loader