Yes, you're right. What do you say about moving all the constants defined by define_constants method to woocommerce.php and replacing __FILE__ everywhere in WooCommerce class with  the constant WC_PLUGIN_FILE?