additional cleanup after move to Github