Hardcode user names

No functional change, other than decreasing log size by ~6MB.