Fixes TARGET=SHARED (Linux) on Travis