changing extensions to play well with gh