my only real wish is that we switch userland at the same time. if -std=c11 suffices for everything we need, then that would be fine, though i wouldn't object to -std=gnu11 since GCC itself always defaults to some gnu variant. .mrg.