changes needed for building the server on Ubuntu linux 'saucy' (the os version name) 13.10