added a missing file in distribution