Modifying jenkins make targets to strip binary