Some changes to crosstool.py. Still not working