Update preferences.h

Now it's a proper header file