Lobsters: Yet another strange job scheduler bug