looks like the export HTTP_HOST line is required after all
otherwise it activates the theme on the local.wordpress-trunk.dev site thanks to our too-clever wp-config.php script