1.0.17.28: fix bug in the newfangled constant dumping scheme