Revert "stripmining"

This reverts commit 4be75b7e5c026dfa2fd676e27585bb295c905a9a.