+some changes to ptxgen