Revert "compilation fix"

This reverts commit 45c6d4e8446130d4d4811d4acdd202ff986cd075.