Fix python/CMakeLists.txt (add a custom target to make sure that the proper python file is generated)