Don't hardcode Gaia versions in bash scripts and PHP