PTHREAD is no longer needed for logging. Now it is only needed for Views' synchronization -> it is not needed for Agros.