switch to alecthomas repo