K 10
svn:author
V 4
bapt
K 8
svn:date
V 27
2013-11-12T10:36:16.646842Z
K 7
svn:log
V 160
Change DESTDIRNAME into a ant compatible argument when a port is staged
While here remove previous workarounds.

Submitted by:	ale
Discussed with:	jkim, glewis

END