geodesy: install headers in correct place (#9)