is $thisDir guaranteed to end on `/`?