facilitate setting custom swipl path