Temporary workaround to not use gcc