made redbean autoloaded