On 01/19/2012 10:23 PM, Mathijs Kwik wrote: > config.nix: https://gist.github.com/1642727 Thanks, this gives me a segfault as well. Will investigate. -- Eelco Dolstra | http://www.st.ewi.tudelft.nl/~dolstra/