You should ask here http://irrlicht.sourceforge.net/forum/index.php
this subreddit is dead most of the time. Anyway, I think you should check the download, maybe is corrupted, so you should donwload again.
Yes correct this example show how to do it on windows win32 you can extrapolate to SFML window. A starting point could be the info in this thread