Fork of jumanji (git://git.pwmt.org/jumanji.git) used for small patches