Don't copy src for nix-shell

Created by  Eelco Dolstra  on June 19, 2015
WBU4ZFBR7EWVM4ARZBZ3UNRSFQ6AFETXPVISQMWRHH6U4U7TIIGQC
Change contents