Temporarily build libcheri