A port of the DB5 configuration library