Revert "Fix compilation"

This reverts commit 5715cb2b04b1f2d990769fa5ec8dba9473fdacdf.