[ci skip] hardcoding the ubuntu version for better predictability