Workaround for github pages 404?