Still more fixes for problems on OS X 10.9