I'm actually setting up a linux environment for hopefully compiling my own custom themehax themes, I could do yours once I have it figured out.
Keep in mind it might not always work right because custom theme implementation is a bit unstable. From what I've gathered commercial themes have trouble working right with themehax, while custom user-name themes usually worked fine. But we'll see.