Linux job market booms even as the server market disappears