Comply with latest changes made in develop

Use the configure mechanism to create the correct version_pinning.pref
file. Do not keep a local copy of the file under debian directory.