android:push directories not working on windows

pushing directories did not work on windows because file separators were not changed to linux format.