missing dollar symbol in version of postgis