Fix install file of huji-front.