Small fixes to converter script + fix for ASTree building