Fix deploy scripts (now that sources/javadocs may be present)