Just adapting the local version of the file to some local setups...