fixes for GitHub deploy