recompiled with old appendices