migrate.properties should also be in the binary sdk directory