Revert "Add dev-master as option"

This reverts commit b09dc32861c2a979ffcb7a183f413020a35e6d7f.