Revert "XXX remove exec size hack"

This reverts commit 859f30a52d06ef6bf4a45a64a8f8fa9758315cc3.
1 file changed