Workaround for repos with dots in their names. Fixes #1.