Avoiding recently introduced bug in github pages