Download the non-source ZIP from sourceforge:
Using this "binary" release won't work, as it currently doesn't include the "build.properties" file (which is required for all builds).
It seems like there's three possible fixes here:
1. We stop shipping a "binary" release (and just do full-source only)
2. OR, we modify the "binary" release so that it ships with a "build.properties" file & perhaps even the 'dspace-parent' POM (which may also be necessary) in the root directory.
3. OR, we move the 'build.properties' file to the [dspace-src]/dspace/ directory (which is the only directory included in this "binary" release.
I think I lean slightly towards #2. But, I'm not against just going with #1.