Update repos for trunk

This fixes #5.