Possible fix for `make install` problem

Possibly fixes #497