Declare $config as global before interactive PHP shell command evaluation. Fixes #808