Revert "simplify makefile"
Revert "simplify makefile"

This reverts commit a3d5fdef5895e2adc27e6f26f0a61905cdf1d147.

larskotthoff/recomputation-ss-paper,larskotthoff/recomputation-ss-paper,larskotthoff/recomputation-ss-paper