Hopefully fix github pages building