Fix paths in astxs (bug #3466)