Gagging compilation

8581