Reproducing change made in #479 that was made to build distribution instead of src

It was lost when I rebuilt the distribution