Bug correction: internal directory in distribution file must be specified.