change package resolution. Fixes #434.