Give a useful default value to processing location in build.xml.
Fix a bug in format server not fully reading 4-byte length.