Revert "introduce a compilation failure to test buildbot"

This reverts commit f2d18db4024edf7899d32e65edf1bc1ff76ef085.