Eventual extensions of finite codes