Add workaround for the fact that Github pages doesn't redirect