fixing some github environment stuff. please pardon.