fix distfile name, tidy up installation