Mix python files into a single file for efficiency