"Beijing Time" is the standard time used for China region, so it is very strange that tzdatabase doesn't have timezone called Asia/Beijing. Strongly suggest to add "Asia/Beijing" zone into the database, and its information is very similar with "Asia/Shanghai".