Use 3.8 target platform as default in tycho build