Work around sourcemap issues with banner option

Fixes #307