replaced by the contents of file
preferences.h
#include "preferences.h"