-- special script called by main redbean process at startup