revert 12781, should make revision numbers in /etc/banner work