added LAIKA_OPTIONS