Use releases of github sources

Use releases of github sources instead of most-recent code.