Fix auxiliary path

This commit is contained in:
Martin Fredin 2023-02-09 20:25:00 +01:00
parent 59fb773bc1
commit 3ac8377fa0