Adding missing libraries, moving to time-out-friendly Flopsy