Patched dev_banner (contrib)

Needs patch (included) to work with https