Tweaked name generation for static library