Avoid module name conflicts with user-defined python modules