more ptemu fixes