Temporary fix to make STK work on my computer.