Fix infodir problem