development: Fix missing push service lib

Change-Id: I33d6b30f0d38eae28873a06b2ee3adbb08a2fe9b