servers: scripts for static linking on hopper