This most likely doesn't affect dub itself, as it only works with
a single configuration at a time. The problem has surfaced with reggae
though (which can use multiple dub configurations at a time) - the
`mainSourceFile` was removed from the base `application` config too.