moved the predefined tikx external library