build fix (thanks travis)