include files from other extension

[void]

Is that extension which you rely on installed on the customer's server?
I never had such probs. Maybe you need to add dependencies in your ext_emconf.php