Fix paths in basic_12. Partially fixes bug 1207

No match.