removing geopebble.[ch] from the top level - they are still in src/