# This is just a dummy file to override an older installation.
# It's safe to delete this file now.