Avoid name clashing when including modules