fixes crash e.g. when building on Ubuntu for Windows
thanks to Márk Jenei (University of Cambridge) for submitting error report