Update debian configure options
[ctsim.git] / TODO
1