fixing compilation/installation issues for symkat