Temp fix for unavailability of github pages