accidental removal. restoring.
cleaning up what i did in 560058e2f. namely: changes needed for building the server on Ubuntu linux 'saucy' (the os version name) 13.10