Switch to titan/faunus 0.4.1-Lab41-SNAPSHOT