bugfix: fix linux build for travis