I can't install camlp4 because I repeatedly run out of memory. I'm on a machine with 12 gigs of memory. I thought that I had had it installed earlier with my setup, but I'm also on switch 4.04.0+spacetime. I watched it run out of memory on the system monitor and at the process level, and I get I/O error out of memory. What could I do besides add more ram to get this to run to completion?