Add helper script for STLinux.ptxdist...