Fix infodir problem; thanks @mistym