changing extensions to play well with gh, again