devel should not be machine-specific