Remove defunct strippings from build

Mark Smithrequested to merge
stripping_cleanup into 2018-patches

@ngrieser For use with Stripping!1726 (merged)

Edited by Mark Smith

Merge request reports