Added missing Boost files and fixed server compilation under Linux