2.11: duplicate imports when using different directory prefixes

import foo.dzn; import ../currentworkingdir/foo.dzn;

imports foo.dzn twice

throwing an exception which is not handled