Tweaks for nix-shell

Created by  Eelco Dolstra  on July 19, 2013
DWQCLOPQCZENDPZ3JKIL4T2XU3IPT5BU6VKTOMS3PXZDUL3KDZSQC
Change contents