Was made nocross in 0c14da58bc, but whatever the issue was seems to have been fixed in the meantime.
0c14da58bc