Fix various startup issues

This makes Descartes at least runnable on my Ubuntu box.