only check for shared libraries if we pushed a server