fixes for Circle CI deployment