Removed crafty and PTS, updated script to refer to version 11
Resolved conflcits