enable pushing directories on windows machines by replacing the file separator