Preliminary work to make the pkg-config file work (it still doesn't)