bin: synctex conditional pymodule import