runCommand -package:options -package:shake -package:libmpd -is:exact -package:wai-app-static -package:shake-plus package:quickcheck-state-machine