[autotex] Remove .py extension from script