Merge branch 'feature/fix-cross-compilation' of https://github.com/stan-dev/stan into feature/fix-cross-compilation
more fixes for cross-compilation on Linux