re #11: a default nice level of 9