Compatibility for Arduino Builder based builds to portable setup

This fixes a bug regarding wrong library locations for builds in Arduino-Builder mode if the underlying Arduino folder was setup as portable.