reverted proactive-scheduling version as gui-backend is not ready for changes

8 jobs for morphemic-rc2.5 in 27 minutes and 13 seconds (queued for 8 seconds)