Merge pull request #1903 from rengolin/armv8
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Wed, 5 Dec 2018 21:10:53 +0000 (22:10 +0100)
committerGitHub <noreply@github.com>
Wed, 5 Dec 2018 21:10:53 +0000 (22:10 +0100)
Fix two mistakes on Arm64 builds


Trivial merge